Comprehensibility of UML-B: A series of controlled experiments Rozilawati Razali, Colin F. Snook, Michael R. Poppleton, Paul W. Garratt Dependable Systems and Software Engineering, School of Electronics and Computer Scie

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Unified Modeling Language
• Computing
• Data modeling
• ISO standards
• Object Process Methodology
• Process management
• Project management
• Diagram
• Class diagram
• Modeling language
• Working memory

Source URL: www.pa.icar.cnr.it

• Software engineering
• Software requirements
• Systems engineering
• Software design
• Metamodeling
• Scientific modeling
• Object Process Methodology
• Requirement
• Non-functional requirement
• TRAK
• Model-driven architecture

Deceived by Ease of Use Using Paradigmatic Applications to Build Visual Design Environments Kurt Schneider, Alex ander Repenning Department of Computer Science and Center for LifeLong Learning and Design {ktschnei, ralex

Source URL: www.cs.colorado.edu

• Computing
• Software engineering
• Software
• Project management
• Software architecture
• AgentSheets
• Cross-platform software
• Simulation software
• Software framework
• Application framework
• Software development
• Object Process Methodology

Source URL: www.pa.icar.cnr.it

• Information science
• Technical communication
• Knowledge engineering
• Semantic Web
• Knowledge representation
• Technology
• Computing
• Ontology
• Metamodeling
• Object Process Methodology

Microsoft Word - O-MaSEMALLOW_LNCSFormat_Final.doc

Source URL: www.pa.icar.cnr.it

• Software engineering
• Scientific modeling
• Computing
• Systems science
• Process management
• Software development process
• Formal methods
• Object Process Methodology
• Business process modeling
• Agent-based model
• Requirement
• Metamodeling

Diploma work Documentation Title: A visual state notation language Project number: B37.02

Source URL: static.sws.bfh.ch

• Software
• Computing
• Graphical user interfaces
• User interface techniques
• Unified Modeling Language
• Widget
• User interface design
• User interface
• Diagram
• Use case
• Object Process Methodology
• EiffelStudio

Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro

Source URL: st.inf.tu-dresden.de

• Software testing
• QuickCheck
• Object Constraint Language
• Model-based testing
• Postcondition
• Random testing
• Design by contract
• ECO
• Unit testing
• Unified Modeling Language
• Object Process Methodology
• Test automation

Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK

Source URL: rodin.cs.ncl.ac.uk

• Formal methods
• Theoretical computer science
• Project management
• Computer programming
• Refinement
• B-Method
• Feature model
• Model checking
• Object Process Methodology
• Software development process
• Algorithm
• Economic model

ACT-1032 PLD_Reading_r6.indd

Source URL: www.discoveractaspire.org

• Reading
• Object Process Methodology
• Process management
• Project management

UNITED STATES OFFICE OF PERSONNEL MANAGEMENT Federal Investigative Services Federal Investigations Notice

Source URL: www.wrc.noaa.gov

• National security
• United States government secrecy
• Espionage
• Biometrics
• Credit
• National Agency Check with Local Agency Check and Credit Check
• United States Office of Personnel Management
• Security clearance
• Criminal record
• Federal Bureau of Investigation
• Object Process Methodology
• Fingerprint